perm filename TREE.GF[MF,DEK] blob sn#754286 filedate 1984-05-24 generic text, type T, neo UTF8
{`$α&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β ↔εRp→
π#⊂→L&␈λπ→n&λ<YMvp:λw⊂0\∞?λ→n&λ<YMvp:_.&(0H607≥¬F 2Zk←λβ≠lf09Y.O(π@z@< G⊂:[←(␈d@z@= εp≡P∂λα≤NV`2⎇?y⊂≡P→∂(≠@z@ε < G⊂:[←(␈d@z@@= εp≡P2∂λα≤NV`2⎇?y⊂≡PK∂(≠@z@∩`< G⊂:[←(␈d@z@→= εp≡Pd∂λα≤NV`2⎇?y⊂≡P⎇∂(≠@z@∨ < G⊂:[←(␈d@z@%@= εp≡Pλ⊗∂λα≤NV`2⎇?y⊂≡Pλ/∂(≠@z@+`< G⊂:[←(␈d@z@2= εp≡PλH∂λα≤NV`2⎇?y⊂≡Pλa∂(≠@z@8 < G⊂:[←(␈d@z@>@= εp≡Pλz∂λα≤NV`2⎇?y⊂≡P⊂∪∂(≠@z@D`< G⊂:[←(␈d@z@K= εp≡P⊂,∂λα≤NV`2⎇?y⊂≡P⊂E∂(≠@z@Q < G⊂:[←(␈gz␈}`=?y`≡P⊂J∂λα≤NV`2⎇?|p≡←x{∂(␈s@z@R@< G⊂:[←(z␈}`= ≡P⊂J∂λα≤NV`2⎇ β⊂≡←x{∂(@z@R@< G⊂:[←(→z␈}`= ε ≡P⊂J∂λ↓HεSz@= ) ≡⊂_⊂
&∨(␈⎇z@λ`< 2~N>P¬∂(→x@dβλ→⎇?␈≡←x}∂λ↓Hε∪(z@=?␈X≡⊂_⊂&␈(¬z␈␈ < 2~
≡←x{∂(␈⎇ x@dβ ≠= p≡←x{∂λ↓Hε#⊂z␈|@=?␈@≡⊂_⊂g∂(π z␈}P< B~L&∨(αz@~p< B~L&/(␈w z@∃p< B~L&?(␈nz@∪0< B~L&O(␈m z@⊂ < B~L&←(␈iz@
`< B~L&o(␈h z@< B~L&␈(␈o`z@∞P< B~L'∂(␈r@z@
< B~L'∨(α@z@∩p< B~LF∂(λ`z@⊃`< B~LF∨(
@z@⊂ < B~LF/(∂z@∂0< B~LF?(∪z@∂@< B~LFO(∂@z@∩ < B~LF←(ε@z@⊗@< B~Lf∂(z@∨ < B~Lf∨(␈y`z@≠@< B~Lf/(␈n@z@_0< B~Lf?(␈l@z@⊗@< B~LfO(␈i@z@∃ < B~Lf←(␈}`z@↔@< B~Lfo(∩@z@⊗p< B~Lf␈(λ@z@~X< B~Mε∂(αz@ `< B~Mε∨(␈zPz@∨⊂< B~Mε/(␈r z@≡< B~Mε?(␈s z@≥< B~MεO(␈r`z@≠@< B~Mε←(␈| z@≤X< B~Mεo(ε`z@≥0< B~Mε␈(∧⊂z@≡x< B~M&∂(α@z@)P< B~M&∨(␈| z@$ < B~M&/(␈u z@ < B~M&?(αz@ `< B~M&O(∞@z@≡P< B~M&←(λ9Nz@"3_λ< B~MF∂(`z@-< B~MF∨(␈{z@) < B~MF/(␈n@z@%@< B~MF?(␈gz@! < B~MFO(␈m z@"`< B~MF←(␈qz@! < B~MFo(z@&`< B~MF␈(@z@"0< B~MG∂( z@&`< B~Mf∂(z@2< B~Mf∨(␈|`z@.P< B~Mf/(␈x@z@+`< B~Mf?(z@,`< B~MfO(π@z@+`< B~Mf←(β z@.P< B~Nε∂(↓ z@4@< B~Nε∨(␈}`z@3 < B~Nε/(␈s@z@.p< B~Nε?(␈s@z@+`< B~NεO(␈y`z@.p< B~Nε←(∧@z@.p< B~Nεo(α0z@18< B~N&∂(␈z@z@:`< B~N&∨(␈z z@60< B~N&/(␈uz@3 < B~N&?(␈⎇@z@4P< B~N&O(λ`z@4@< B~N&←(β`z@8p< R~L&βz@= ∨h≡⊂(⊂
&∪_⎇?␈⊂≡Pλv∂λαHεSλ_↑←xp∂(x xA$β(_Lε?(␈u@z@8p< R~L&β z␈x = ~p≡⊂(⊂
&∪~⎇?}`≡Pλa∂λαHεSλ_
↑P∃∂(pxA$β(_Lε␈(	@z@:⊂< R~L&β@z@F0/= ≡`f6>⊂(⊂
&∪λ_=?␈x≡P⊂≥∂λαHεSλ_L>←xw ∂(↓	0xA$β(_L&/(␈vz@Bp< R~L&∪_z␈z0= ∨p≡⊂(⊂
&∪λ~=?| ≡Pλn@∂λαHεSλ_M>←xv∂(␈@xA$β(_L&o(
z@@< R~L&∪8z@βk_∃⎇ ! 3≤↑⊂(⊂
&∪λ≤= @&5>P⊂∩f1oλαHεSλ→≡←x␈@∂(↓~xA$β(_LF∨(␈⎇∪~0z@Jε0>< R~L&#⊂z␈|3_⊗⎇ #xf0↑⊂(⊂
&∪⊂→⎇?}≡P⊂→∂λαHεSλ→
≡←x{∂(↓⊂ xA$β(_LF←(π@z@G < R~L�z@↓ = $p≡⊂(⊂
&∪__= ≡P⊂J∂λαHεSλ→L>←x{@∂(↓≡ xA$β(_Lf/(␈z@z@L < R~L&3_z␈␈P= &p≡⊂(⊂
&∪_~= ↓λ≡P⊂4@∂λαHεSλ→M>Pβ`∂(↓∨0!@␈␈␈x␈␈␈␈xN%␈␈␈xz@⊂H␈␈␈x␈@S@⊂NS@_MA∪@ N↓300N↓S@8N↓s0@Nα3@HMBS@XMC∪@`Nβ30pNβs1N∧∪AλMDSA_ME∪A MESA0MF∪A@MFSAPMG∪A`MB`0⊂βα∪@8β@A⊂(MAA⊂⊂εs@ ¬@A`λM@aP⊂π@30⊂π@S@λλS0λλs0λλ@u`_MA∪@ N↓∪0(N↓308N↓s@@MB3@HMBs@XMC3@hMCs@xMD31⊂N∧s1(N¬318MF31PMG∪1pMλ32⊂MI∪"8MJ32XMK32xMD`p_ββS@pεa0PMC↓p π↓s@PλAα⊂(MB"0 
↓∪@@
↓αp⊂MAb` @3@0A∪@(↓∪0(A∪@ 
↓∪@_
↓3@⊂
↓S@⊂
↓S@λ
↓v`@Nα∪0HMBs0`Nβ30pMD∪1λMDs1 MES1@MF31XMG3"MHS2(M
∪2XMs3λM
3#HM∂∪$ &H∧_MPλY` ⊃SD#gλ∧8N⊂		X ∩SD%'λ∧XN⊂	9` ∪∪D&'λ∧hMP	i` ∪sD'gλ¬MP
→` ∀3D)'¬a λ&eλβεa→`⊃A@axβ'βpPβλ`)X∞C i`
∧i`D`iX¬ i`	Fi`λF@iXλπi`πG i`εG`iXελy`¬H↓	X¬λ!→`∧HA→`∧λA)X∧λA9`βλaIXβλaY`αHaiXαHb	`αλb)`↓Hb9X↓HbY`↓λC	X↓λC)`H#YX↓λβy`Gd)XGd[P∀∨ ⊃`∃mF	X→` ⊃P~-Fy`≤'π)`≥fgi`∨gλ∧λN⊂λ)X ⊃∪D"gλ∧0MP		` ∩34%'λ∧XN⊂	IX ∪3D'&h∧xN⊂
	X ∀3D(fh¬⊂N⊂
9X ∃∪4*gλ¬(MP
iX ⊂!pN¬`"Hπ↓s1 β
B ⊂MD!"PNβARXMC↓rhMBb∩pNααBpMAbbxMACβMA#∪λMAβ3⊂NcC⊂M@Cc_M@#s M@$β(M@$∪(↑MsC8MN3CHN∞33XN∞s3`MOSCpMOs4 '∧!⊂εfb08∧G9Xπβ!)X¬D!)X∧¬!)Xβε↓)Xαεa)X↓G!9P↓λ↓9XHA;x¬g↓9`¬faIXπ&ayXλ&b→X	&bIP&byX&C9X∞&CiP⊂fd)P∩&DiX∀&E)X∃fEiP_&f)P~&fYX≠fG→X≥fgIX∨&d@λ
&cp8
fc@P`9X
ββ(gβp&ba
&bQ⊂
'αA⊂∞&b1_∂'α! ∂'α↓(⊂'↓q0⊂&aq0⊃'↓a0∩'↓Q0∪'↓A8∪'↓18∀'↓!8∃'↓!8∃'↓⊃8⊗'↓↓8↔' q0λA@⊂λ'a8¬AaP0¬gQ8∧αa`H∧'Q0ββBPβ' 10α∧"⊂`α'1(↓Db h↓g ! ↓¬"0p↓, ⊃8
β`≠ 
gαi`gβ	`fc9`∞&ciX⊂&d)X⊃g∧IX∪&e	X∃&eIX⊗feyX_ff9X~&fiP≤fg9X≡&GyX ⊂3$!fH∧0M⊂	→X ∩S$&f(¬λM⊂
9P ∃S$,&H¬XM⊂iP _∪$1fHε(M #(M`c(MK!⊃P↓F3"`εε@Q8M
aqXβ¬32PλFa↓ MJ"1`∧∧s2@
G↓!λM
αap¬∧32@πa@xMIc↓xεCS28λ!PpMIC∩⊂πβ320
λa``MIC" πBs2(
IApPMI#B0λαS2(∞
αHMI#BHλα32(∞J"⊂@MI#RXλAs2(∞Kα⊂8MI#bhλAS2(∂B (N	βcλA32(∞L"  MI#c⊂λA∪2(∂b _MI#c(λ@s20∞MB⊂_MICc8λ@S@P¬∧#c@λ@308λCCSPMA"`X∞O∪0 B#ShM@c@@∞OS@⊂∂↓CSxM@$⊂(∞⊂λ→XH@A` ⊂S0λ∩c4"0 !X ⊃SPλ
Pλk8 ∩∪4%&h∧XMP	YX↓f)XλβB0∞fa1 λBC	X∧εα⊂p
f`aX	∧")X↓Gb!(πf`∩⊂	Ea[x	F!9`
εa→PG yPG`iH∞HYP∂H@IH⊃H`9H∪I)H∃I →H↔	@→H→&εy@≥fλ∧L⊂λY@ ∩S$&g(∧hN⊂	ih ∪SD'g(∧@N⊂λ→` ⊂3D!'λ∧_N⊂λI`∂A∧)`
α∧I`αdi`	βE	XπD%)`¬E¬I`βEei`αεε→X↓εF;8~ffyP≥&gIX∨&H∧λMPλIP ⊃s4$fH∧`MP	iP ∀3$*&h¬8M⊂)P ↔3$0&Hε_M⊂yP ~S$6fHπλLP∞YP ≡∪∀>fhπxN⊂⊂	X  sDB&hλ8N⊂⊃	X ↔!bN⊂aH
fhε⊂βsBpβ∧`PMJ!2p∃ASB_πL&λMGb3⊂MFbs N¬c#0MEβCHMD#sPMCD#`MBdSpMB$d f`r@ ⊂s0 ∃PλYP↓Kλ∧@M@%d%2(∧hMP	yP ∀S4*fH¬@M⊂9X ↔3$0&Hε M⊂yP ~S$6fHπLP∞YP ≡∪∀>&hπpN⊂∂y`  ∪D*B$9` ∀ArλN⊂
⊃⊂⊂'λ¬λ	H∪D(E#y` ∀"apN⊂
⊃8∂'λ¬λπSD(F#i` ∀#⊃pN⊂
⊃P∂&h¬⊂
GSChEβ1pN∂! ∞πSCPα¬βAxN∞a ∞GsC8βEβQxMMA⊃ ∂πsC(¬¬βaxNaA ∂GsC⊂εEβrMLAa ⊂πsCλ¬∧⊃xMLα⊃ ⊃πSBx	¬$!pMKBA(∩π3Bh
E$aXMK"a(∀F32hE%Q MK#↓(→αs2hE3"h
E32h∞¬3"p∞E318αDCa(ME! x∂E31 εC$↓(MDbX⊂E31⊂	B$!(N∧"@@⊃E31ADA(Nβc(∩E3@pA∧a(MC#0_∪E3@`∞E↓(NαcPλ∀E3@P ∩αYX¬⊂	⊃(Nα(∧P
g↓∧%E3@8 ∪αY`β⊂	Q(N↓H∧h
f`d'¬3@( ∪bY`αP	q(N↓λ¬
g4(¬S@_ ∀αi`↓⊂
⊃0NH¬λ'∀)¬S@λ ∀Bd@¬_'αi`'αi`'αy`gαy`gαy`gαy`gαy`gαy`gαy`gαy`gβ	`'β	`'β	`'β	`'β	`'β	`fc)`
'β)`
'β)`
'β)`
gβ9`
gβ9`
fcI`∞'βY`∞gβY`∞gβY`∞fcy`∂gβy`∂gβy`⊂&d→`⊂g∧→`⊂g∧)X⊃g∧9`⊃g∧9`∩&dY`∩g∧Y`∪&dy`∪g¬	X∀g¬→`∀fe9`∃g¬9X⊗g¬Y`⊗fey`↔ff	`_gε→X→'ε9X~'@8∀f` `¬ααjXβC! (α' Aλβα 9`↓E0`g ⊃0Qλ0/x␈␈␈␈x␈␈m ∩←x␈␈y`W?x␈␈}A@IJRc0KPλ	@ ∩∪∧(&(¬0LPIH _S$3&(ε`M⊂∞	H ≥S$=&HπpM⊂⊂)P !S4D&Hλ`M⊂∩	P %∪4K&H	PMP∪IP (∪4Q&h
 M⊂∃	X *S4V&h
pM⊂⊗)X -∪4[&h@MP↔)X /∪4←&hMP_)X 1∪4c&hε_↓⊂9X →$2'λε ↓⊂IX → 42&hε(α⊂YX →@D3&hε8αPi` →@d3&hε8β⊂yX ~t3fhεHβP
	` ~↓∧4&hεH∧P
	X ~A∀4gλεH¬⊂
→X ~A44fhεPε⊂
)` ~AD5&hεXεP
)` ~Ad5&hεXπP
)` ~B∧5&hεXλ⊂
9X ≠α∀5gλεX	⊂
9X ≠α45gλεX
⊂
9X ≠αD6'λεX⊂
9` ~bd5fhεX⊂
9` ~c∧5fhεX
⊂
9` ~c$5gλεP∞⊂
)X ~cD5gλεP¬@` 0∧⊂
)X ~`p8↓α T5gλεPβα  `↓P
)` ~@@X↓β@∀5&hεP↓C  xP
)` ~  x↓⊂∂)` ~ ⊃↓⊂∂)X ~ ⊃↓P∂9` ~⊃λ↓P∂9` ≡@4=fhπPα⊂∂I` ≡@D>'λπPα⊂∂IX ≡@T>gλπPαP∂Y` ≡ t>&hπPβP∂Y` ≡A∧>'λπH∧P∂IX ≡A∀>gλπH¬P∂I` ≡!4>&hπHεP∂I` ≡!T>'λπ@πP∂9` ≡↓t=fhπ@λP∂9` ≥b$=gλπ8	P∂)` ≥BT<fhπ8
P∂)` ≥Bt<gλπ(P∂	` ≥β$<&hπ ∞⊂∂	` ≤cd;gλπλ⊂P∞i` ≤∧$;&hπ∩⊂∞i` ≠Dt:gλεh∀P∞I` ≠¬49fhε`⊗P∞9` ~et9'λεP	A`00π⊂∞→` ~A``↓Ba$8'λεHεβ`@pβP
yX ~A!λα∧ T7gλεH∧D`A α⊂
Y` ~!↓ α¬`$6'λε@βE@AHP
9` ~a8α⊂⊂YX ~ Q@α⊂⊂i` ~QHα⊂⊂i` ~APα⊂⊂i` ~1PαP⊂i` ~!Pβ⊂⊂iX ~ !Pβ⊂⊂y` ~ ⊃PβP⊂y`  a∧Cgλλ_∧⊂⊂y`  A∀Cfhλ⊂¬P⊂y`  !DCgλλλεP⊂i`  ↓dC'λπxλ⊂⊂Y` ∨B∀Bfhπp	P⊂Y` ∨"DBgλπ`⊂⊂I` ≡c∧AgλπPP⊂9` ≡#4A'λπ@∞P⊂→X ≥d∧@gλπ0⊃⊂⊂	` ≥$T?'λπ_∀⊂∂Y` ≤E4=gλπ↔P∂→` ≠f∀<&hεp~P∞y` ≠π∀:gλεP≡⊂∞I` ~λ∧ ≤SD3⊂λ48gλε( ⊃(πN⊂T#⊂
yX →H∧8 ≠sD3⊂λt7gλε0 ∩λεpN⊂T%⊂
Y` →(∧P ≠3D2P	46'λε( ∩hε`N⊂T&⊂
9X →H∧` ≠∪D3⊂	T5gλε( ∪HεXN⊂T'P
)` →(∧x ~SD2P
∧4gλε  ∀(εHN⊂D(P
→` →λ¬⊂ ~∪42KBA ~3D2
⊂0
B(εHN⊂B_β↓Cp0 ~∪D2πa 0⊃@Hε@N⊂1hεAHλhN⊂1Pλ↓HλhN⊂18	AHλhN⊂!0
AHλhN⊂!_↓HλhN⊂!λ
↓HλhMP!∞↓HλpN⊂ x∞AHλpN⊂ h∂AHλpN⊂⊂`⊂↓hλpN⊂⊂X⊂αλλpN⊂P⊂B(λpN⊂H⊃α(λpN⊂@⊃αHλpN⊂p@⊃αhλpN⊂p0⊃CλλpN⊂`0⊃C(λpMPp(⊃CHλxN⊂`(⊃DλλpN⊂` ⊃DHλhN⊂`_⊃DhλhN⊂P_⊃E(λ`N⊂P⊂⊃ελλXN⊂@⊂⊃εHλPN⊂@λ⊂G(λHN⊂0⊂⊂πhλ@N⊂0λ∂HHλ8N⊂ λ∂I(λ(N⊂∂α@ !∪D,@#BX  sD9LλλλMP∞3_  ∪D,##  ∨sD9
hπhN⊂∞#@ ∨∪D9∞HπPN⊂∞#X ≡3D8OHπ8N⊂∞∪x ≥SD8Pλ∀:'λπλ ⊂Hπ_N⊂∞∧"⊂∞)` ≤λ∧( ≤3D8⊂λd8'λεx ∩λεxN⊂
t$P
i` ≠H∧P ≠S47P	47'λεx ∪λεhN⊂
d&P
Y` ≠H∧p ≠∪D6P	t6'λεh ∀λεXN⊂
D(P
9` ≠λ¬λ ~sD5P
$5gλεX ∀hεPN⊂
$*⊂
)` ~(¬( ~SD4P
T5'λε@ ∃HεPN⊂t B↓d5'λε8@E⊂pβP
)` →B@0∃∧@$5'λε(λBE$?'λε(πβ%4>gλε εβeT>'λε_¬D%d=gλε_∧¬¬d=gλε⊂βEEt=&hε⊂βεε∧='λελαF&∀='λεαεf$<gλε↓Gε$<gλ¬x↓πF4<'λ¬pGfD<'λ¬hHεT;gλ¬`H&T;gλπh≠P∞i` ∨&t;'λπ`≤P∞Y` ∨π∀:gλπ`≤P∞Y` ≡g4:'λπX≥P∞I` ≡GD:'λπH∨⊂∞9` ≡'d9gλπ@∨P∞9` ≥h∧ ≤sD;HB h ≤SD;∧`pH∞hπ⊂N⊂∞PpεBH	N⊂∞@XλBH	N⊂∞0@
BH	N⊂∞ 0αH	N⊂∞⊂ 
BH	N⊂∞_∞BhλxN⊂
`⊂⊂αhλxN⊂
Pλ⊃αhλxN⊂∩X #sDHαhλxN⊂∩X #sDGCλλxN⊂⊃`p #SDFChλpMP⊃Q #sDF∧(λxN⊂⊃1⊂ #sDE¬λλpN⊂⊃↓0 #SDCEhλpN⊂⊂a@ #SDBεhλhN⊂⊂1` #3D@GHλhN⊂∂rλ #∪D?λHλ`N⊂∂B  #∪D=	Hλ`N⊂∂∩@ "sD;JHλXN⊂∞bX "sD:HλPN⊂∞# "SD8LHλHN⊂
s  "3D7
(λHN⊂
S8 "∪D5N(λ@N⊂
#X !sD4Oλλ8N⊂
βp !SD3I⊃P !SD3π`qX !3D2G↓!0↓@hλ(N⊂APεεPλ !∪D2ε↓a@ "SD1EB↓P "3D1¬"!P "3D1¬α!` "∪D0Db1p !sD0DBAp !sD0DαR !SD0Cbb !SD0βbb⊂ !3D0βBb  !∪D0β"b0  sD0βαr0  sD0αbr@  SD0αBrP  3D0αBrP  3D0α"r`  ∪D0ααrp ∨sD0Aba↓β! ∨SD0ABpXβC `X ∨SD0A"p@¬CA⊂@ ∨3D0A"`0π∧↓ 0 ∨∪D1b` λD!@  ≡sD1bP_	DAP_ ≡SD1@B@⊂
Da`⊂ ≡3D<"q π@(π@N⊂∩↓( !sDH¬Hλ0N⊂∩↓8 !3DHελλ N⊂∩↓H  sDGFhλ⊂N⊂⊃q`  3DGπHλN⊂⊃R ∨sDFλHπpN⊂⊃2_ ∨SDEIλπhN⊂⊃"0 ∨∪DDJλπXN⊂⊃αP ≡SDCKλπHN⊂⊂bh ≡3DBKhπ@N⊂⊂Cλ ≥sDALhπ0N⊂⊂#  ≥SD@MHπ(N⊂∂sH ≥∪D?∞hπ_N⊂∂S` ≤sD=Ohπ⊂N⊂∂$ P∞→` ≡λ∧_ ≤3D;⊂λd8'λπ  ∩(εxN⊂∞4%⊂
y` ≤(∧h ≠SD7⊂
∀6gλε` ∀hεhN⊂
$+⊂
I` ~λ¬@ ≠∪D3⊂45gλε  ↔HεPN⊂$0⊂
)` _λε_ ~3D/⊂T4gλ¬`_@FT4'λ¬P↔AFT4'λ¬H⊗B# _Py` ∃e@`
↓"t3gλ¬(∃Cc00
Py` ∃¬!λ
BαD3'λ¬_∀Dc@@	Pi` ∀E↓(∞αB∀3'λ¬∀¬C`PλPY` ∪e↓0∂C↓t2gλ∧p∪Fβphπ⊂Y` ∪$q@⊂C!d2'λ∧`∪ε$ pεPI` ∩daP⊃CAD2'λ∧P∪εD@x¬PI` ∩$QX∪βa$2'λ∧@∩G∧a¬⊂9` ⊃dQ`∀∧↓∀1gλ∧0∩G¬⊃∧P9` ⊃$Qh∀D!∧1gλ∧ ∩G%1λβP9` ⊂dQh⊗∧ t1gλ∧⊂∩GEQλβ⊂9` ⊂$Qp↔∧@T1gλ∧λ∩πF↓λαP9` ⊂∧Qh_D@D1gπr(∂B⊂  _sCp∩GF1⊂↓P9`≡I#c(λ@hε_N∂∧ah≠∧ 41gπ20∂
b⊂⊂ _sCX¬αB⊃p≤∧ ∀2'π 8λCCSP ≥3CHαEA1h≡⊂∞I`≤↓β⊂H∞O(π N
`1`∧π'd9gεp⊂∂↓CSx ≤sC0H Q` ⊂(π⊂N
 ∩⊂απλ∧⊂ ≤SC I1X ⊃λπλN⊂⊂⊂
Pλd8'λ¬PFh∧0 ≤∪D:P	∧7gλπ  ∩HεpN⊂∞4%P
i` ≤H∧h ≠3D8E@s⊂ ≠∪D8∧↓aβπ(εXN⊂
pX
∧!!@ ~sD7αβ↓λπ¬(εPN⊂
P0
DB⊃⊂ ~3D6cq⊂
Chε@N⊂
0λ⊃∧bph →sDG∧c⊂X →sDG¬β0H →SDF¬cP8 →3DEε#p0 →∪DCG$( _sDBGd   _SDAλd0_ _3D?Id@⊂ _∪D>
dPλ ↔sD<KD`λ ↔SD;Hλ N⊂∞#8  sT6Nhλ⊂N⊂
∀ ⊂⊂→` →(∧(  ∪D0P	$?gλ¬x ∪(πpN⊂∧&P∂Y` _λ∧p ∨∪D0P	d=gλελ ∪hπPN⊂$$⊂⊂	` _H∧λ !sD1⊂λ∀Cgλε⊂ ⊂Hλ0N⊂$!P⊂Y` _H∧  !∪D1π`B⊂  sD1εAα   SD1¬A20  3D1∧Ab@  ∪D0Cb∩P ∨sD0BbB` ∨SD0Abrp ∨3D0Aββλ ∨∪D0C#_ ≡sD=M(πPN⊂∂#8 ≡3D<∞Hπ@N⊂∞s` ≥sD;∂Hπ0N⊂∞D P∞Y` ≤h∧  ≤sD8Pλt9'λπ ∩(πλN⊂
d&⊂∞	` ≠(∧p ≠sD5P
∀7'(ε@ ∃λε`N⊂t+P
)` →(¬P ~3D1PT4'λελ _λε8N⊂t1Pi` ↔(ε8 →∪D-P
$1gλ¬H ≠(ε⊂N⊂
t8P	` ∃λπ( ↔sD)⊂∂∧/'λ∧x ∨(¬`N⊂	d?P9` ∪Hλ ⊗SD&P⊂4,'λ∧h !λ¬8N⊂	DCP
Y` ∪λλ@ ∃∪D%PPp⊂⊂
)` ∩h¬pE(¬λN⊂	$0λ↓t'gλ∧P↔↓EB0¬⊂	ih ∩¬⊂X↔
`d%gλ∧@⊃Cf∪P	)` ⊃cq_→⊂∂9` ⊃C18~⊂∂)` ⊃BqP≠⊂∂→` ⊃"A`≤P∂	` ⊃α⊃x≥⊂∂	` ⊂ab⊂≡⊂∞y` ⊂A2(∨⊂∞i` ⊂!∩0 ⊂(π(N⊂λ8∀⊂λ4:'πp ∃PλT9gπP_⊗⊂	∧9'π@λ↔⊂	$8gλεH ∪(πN⊂
∧'P
yh →(¬⊂ ≠3D2⊂
T5gλε⊂ ⊗λεPN⊂∧-P
→` ↔h¬h ~∪D.P∧3gλ¬X →λε(N⊂∀3PI` ∃hεP _sD*P
T1'λ¬_ ≤λελN⊂
∧:Py` ∪Hπ@ ↔SD%P∂D.g(∧H ∨H¬XN⊂	∀?P)` ∩(λ ⊗3D$P
PH⊃P	` ∩(¬⊂πH(¬8N⊂	∀(DD∧+'λ∧H ∀"2 ∃3D$P
⊃(∂P
I` ∩(¬λπH¬ N⊂	∀(Ecd)gλ∧H ∀#↓p ∀ST$⊂
⊃H∂⊂
	` ∩λ¬λGH¬N⊂	∧(FCd'gλ∧8 ∀C1p ∪SD#O ⊃ 
GH∧pN⊂λs`↓¬βAp ∪3D#N@A ∞πh∧`N⊂λs@β¬βQx ∩sD#M`q ∞Gh∧XN⊂λc0∧Eβax ∩ST"M!! ∂πh∧HN⊂λS_ε¬βqx ∩∪D"LAQ ∂Hλ∧8N⊂λC⊂π¬∧↓x ⊃sD"α↓ ⊂Gh∧0N⊂λ3λE∧!p ⊃SD!Kb!(⊃πH∧(N⊂λ"p
¬$Ah ⊃∪D!"Q(∪εh∧ NPλαh¬%⊃H ⊂SCx⊗EbRh
⊂λ9`∨#↓(→αh∧8N∂%QH
P⊂I`≥K#1( !∪CP⊗GαTB'παp∞E(λ N
bp(	πBTB'&Q(¬βcq(  sC 
β!R
P⊂9`→DbX⊂E(λ_NB!_∧HBTAgε!λ
α∧1(  sCλλ¬`b 
P⊂9`_Cc(∩E(λ_NL↓aHα	BTA'¬ph
@dq(  SBxεπ"@
P⊂)`↔BcPλ∀E(λ⊂Na$$¬(λ⊂NA$$E(λ⊂NA∀%¬(λ⊂NK!∧%E(λλN t&¬(λλN d&E(λλN d&E(λλNd'¬(λλNT'E(λλNT'E(λλNJ`D(¬(λN
`4(¬HλN
`4(¬HλN
`$(EHλN
`$(EHλN
`∀)¬HλNJ@∀)¬HπxN⊂∂Q0 ∨sD>EHπxN⊂∂Q0 ∨sD>EHπxNP∂A0 ∨SD>¬hπhN⊂∂A8 ∨3D>¬hπhN⊂∂A8 ∨3T=Ehπ`N⊂∂18 ∨∪D=Ehπ`N⊂∂18 ∨∪D=Ehπ`NP∂!8 ≡sD=¬hπXN⊂∂!8 ≡sD=¬hπXN⊂∂!8 ≡sT<EhπPN⊂∂⊃8 ≡SD<FλπHN⊂∂⊃@ ≡3T<ελπ@N⊂∂↓@ ≡∪D<ελπ@N⊂∂↓@ ≡∪T;Fλπ8N⊂∞q@ ≥sD;Fλπ8N⊂∞q@ ≥sT;ελπ0N⊂∞aH ≥3D:FHπ(N⊂∞QP ≥3T:εHπ N⊂∞AP ≥∪D:εHπ N⊂∞AP ≥∪T9FHπ_N⊂∞1X ≤SD9Fhπ⊂NP∞!X ≤3D9εhπλN⊂∞!X ≤3T8πλπN⊂∞↓` ≤∪D8π(εxNP
qh ≠SD7G(εpN⊂
qh ≠ST7π(εhN⊂
ah ≠3D6Ghε`NP
Ax ~sD6πhεXN⊂
Ax ~sT5GhεPN⊂
2 ~3D5λ(εHNP
∩λ ~∪D4H(ε@NP
αλ →sD4λHε0N⊂r_ →ST3λhε(N⊂b_ →3T2Hhε N⊂R  _sD2	(ε_NP2( _SD1I(ε⊂NP"0 _∪D0IhεNPα8 ↔sT/Jλ¬hN⊂bH ↔3T.J(¬`N⊂RH ↔∪T-Jh¬PN⊂2X ⊗ST-
h¬HNPαh ∃sD,(¬8NP
rh ∃ST*Kh¬ N⊂
Rx ∃∪T)Lλ¬_NP
#λ ∀3T(L(¬N⊂
β⊂ ∀∪T'Lh∧pNP	S  ∪3T&↓rH ∪∪T%A@P∧¬H∧PN⊂⊂8εB@P  ∩ST,Aα⊂0∧@h∧@NP_
a@λ ⊃sT,"`λ ∃∪Ta'(NP↔ih /∪T]'(@NP⊗ih -∪TY'H
pNP∃Ih *STT'H
 NP∀)h (∪dN'(	PO⊂∩ih %∪dH'Hλ`O⊂⊃	h !SdA'HπpO⊂∂)p ≥St8'Hε`OPip _St.'h¬0OP

 ∩∀∧ (&j⊂∃)#∧ |α0⊗α↓`@?␈␈x5J␈␈␈xg⊂]⎇@⊂∧?0↓↓⊂↓> ∪⊂≥xow{⎇x